We continue the investigation of the Laver ideal ℓ 0 and Miller ideal m 0 started in [GJSp] and [GRShSp]; these are the ideals on the Baire space associated with Laver forcing and Miller forcing. We solve several open problems from these papers. The main result is the construction of models for $t , where add denotes the additivity coefficient of an ideal. For this we construct amoeba forcings for these forcings which do not add Cohen reals. We show that (...) c = ω 2 implies $\operatorname{add}(m^0) \leq \mathfrak{h}$ . We show that b = c, d = c implies $\operatorname{cov}(\ell^0) \leq \mathfrak{h}^+, \operatorname{cov}(m^0) \leq \mathfrak{h}^+$ respectively. Here $\operatorname{cov}$ denotes the covering coefficient. We also show that in the Cohen model $\operatorname{cov}(m^0) holds. Finally we prove that Cohen forcing does not add a superperfect tree of Cohen reals. (shrink)

We continue [21] and study partition numbers of partial orderings which are related to /fin. In particular, we investigate Pf, be the suborder of /fin)ω containing only filtered elements, the Mathias partial order M, and , ω the lattice of partitions of ω, respectively. We show that Solomon's inequality holds for M and that it consistently fails for Pf. We show that the partition number of is C. We also show that consistently the distributivity number of ω is smaller than (...) the distributivity number of /fin. We also investigate partitions of a Polish space into closed sets. We show that such a partition either is countable or has size at least D, where D is the dominating number. We also show that the existence of a dominating family of size 1 does not imply that a Polish space can be partitioned into 1 many closed sets. (shrink)

We show that every analytic set in the Baire space which is dominating contains the branches of a uniform tree, i.e. a superperfect tree with the property that for every splitnode all the successor splitnodes have the same length. We call this property of analytic sets u-regularity. However, we show that the concept of uniform tree does not suffice to characterize dominating analytic sets in general. We construct a dominating closed set with the property that for no uniform tree whose (...) branches are contained in the closed set, the set of these branches is dominating. We also show that from a Σ1n+1-rapid filter a non-u-regular Π1n-set can be constructed. Finally, we prove that ∑12-Kσ-regularity implies ∑12-u-regularity. (shrink)

A family A ⊆ ℘(ω) is called countably splitting if for every countable $F \subseteq [\omega]^{\omega}$ , some element of A splits every member of F. We define a notion of a splitting tree, by means of which we prove that every analytic countably splitting family contains a closed countably splitting family. An application of this notion solves a problem of Blass. On the other hand we show that there exists an $F_{\sigma}$ splitting family that does not contain a closed (...) splitting family. (shrink)

We prove that consistently the Lebesgue null ideal is not Tukey reducible to the Silver null ideal. This contrasts with the situation for the meager ideal which, by a recent result of the author, Spinas [Silver trees and Cohen reals, Israel J. Math. 211 473–480] is Tukey reducible to the Silver ideal.

We describe a list of canonical functions from 2 to ℝ such that every Borel measurable function from 2 to ℝ, on some superperfect rectangle, induces the same equivalence relation as some canonical function.

I Two Traditions. Scientific inquiry, seen in a very broad perspective, may be said to present two main aspects. One is the ascertaining and discovery of ...

We investigate several versions of a cardinal characteristic $ \frak f$ defined by Frankiewicz. Vojtáš showed ${\frak b} \leq{\frak f}$ , and Blass showed ${\frak f} \leq \min({\frak d},{\mbox{\rm unif}}({\bf K}))$ . We show that all the versions coincide and that ${\frak f}$ is greater than or equal to the splitting number. We prove the consistency of $\max({\frak b},{\frak s}) <{\frak f}$ and of ${\frak f} < \min({\frak d},{\mbox{\rm unif}}({\bf K}))$.

Let ${{\mathcal J}\,(\mathbb M^2)}$ denote the σ-ideal associated with two-dimensional Miller forcing. We show that it is relatively consistent with ZFC that the additivity of ${{\mathcal J}\,(\mathbb M^2)}$ is bigger than the covering number of the ideal of the meager subsets of ω ω. We also show that Martin’s Axiom implies that the additivity of ${{\mathcal J}\,(\mathbb M^2)}$ is 2 ω .Finally we prove that there are no analytic infinite maximal antichains in any finite product of ${\mathfrak{P}{(\omega)}/{\rm fin}}$.

Two countable filters on ω are incompatible if they have no common infinite pseudointersection. Letting α(P f ) denote the minimal size of a maximal uncountable family of pairwise incompatible countable filters on ω, we prove the consistency of t $.

Two countable filters on $\omega$ are incompatible if they have no common infinite pseudointersection. Letting $\alpha(P_f)$ denote the minimal size of a maximal uncountable family of pairwise incompatible countable filters on $\omega$, we prove the consistency of t $< \alpha(P_f)$.

We investigate uncountable maximal antichains of perfect trees and of splitting trees. We show that in the case of perfect trees they must have size of at least the dominating number, whereas for splitting trees they are of size at least \\), i.e. the covering coefficient of the meager ideal. Finally, we show that uncountable maximal antichains of superperfect trees are at least of size the bounding number; moreover we show that this is best possible.

Achievements have recently begun to attract increased attention from value theorists. One recurring idea in this budding literature is that one important factor determining the magnitude or value of an achievement is the amount of effort the achiever invested. The aim of this paper is to present the most plausible version of this idea. This advances the current state of debate where authors are invoking substantially different notions of effort and are thus talking past each other. While the concept of (...) effort has been invoked in the philosophical analysis of a number of important concepts such as desert, attention, competence, and distributive justice, it has hardly ever been analyzed itself. This paper makes headway in this regard by discussing three ambiguities in the everyday notion of effort. It continues to develop two accounts of effort and shows how both of them are achievement-enhancing. (shrink)

The compositional analysis of sentences like “Tony has been happy since he’s been taking Prozac” becomes feasible through a combination of a maximal informativeness semantics for definite descriptions and an elided second “since” inside the “since”-clause.

Keine ausführliche Beschreibung für "Die Überwindung des mathematischen Erkenntnisideals" verfügbar.

Collective emotions are at the heart of any society and become evident in gatherings, crowds, or responses to widely salient events. However, they remain poorly understood and conceptualized in scientific terms. Here, we provide first steps towards a theory of collective emotions. We first review accounts of the social and cultural embeddedness of emotion that contribute to understanding collective emotions from three broad perspectives: face-to-face encounters, culture and shared knowledge, and identification with a social collective. In discussing their strengths and (...) shortcomings and highlighting areas of conceptual overlap, we translate these views into a number of bottom–up mechanisms that explain collective emotion elicitation on the levels of social cognition, expressive behavior, and social practices. (shrink)

Wearable robots are an emerging form of technology that allow organizations to combine the strength, precision, and performance of machines with the flexibility, intelligence, and problem-solving abilities of human wearers. Active exoskeletons are a type of wearable robot that gives wearers the ability to effortlessly lift up to 200 lbs., as well as perform other types of physically demanding tasks that would be too strenuous for most humans. Synchronization between exoskeleton suits and wearers is one of the most challenging requirements (...) to operate these technologies effectively. In this conceptual paper, we extend interpersonal adaption theory (IAT) to the exoskeleton context and explicate (a) the antecedents that are most likely to shape synchrony in human-exoskeleton interactions, (b) automatic and strategic synchrony as adaptive behaviors in human-exoskeleton interactions, and (c) outcome variables that are especially important in these processes. Lastly, we offer a discussion of key methodological challenges for measuring synchrony in human-exoskeleton interactions and offer a future research agenda for this important area. (shrink)

After a general remark about Armstrong’s conception of ontology, I raise objections against this view and defend an alternative account of the connection between particulars and their properties, involving a kind of ontological dependence which is different from Armstrong’s necessary connection between particulars and their properties.

This paper critically assesses existing accounts of the nature of difficulty, finds them wanting, and proposes a new account. The concept of difficulty is routinely invoked in debates regarding degrees of moral responsibility, and the value of achievement. Until recently, however, there has not been any sustained attempt to provide an account of the nature of difficulty itself. This has changed with Gwen Bradford’s Achievement, which argues that difficulty is a matter of how much intense effort is expended. But while (...) this account captures something important about the relationship between difficulty and achievement, it fails to account for the fact that part of what makes achievements great is that they are difficult in a moderately agent-neutral kind of way. Nor is this thought captured by any other extant account. I argue that to fill this gap we should think of difficulty in terms of low probability of success. (shrink)

way on the information available in the contexts in which they are used, it’s not surprising that there is a minor but growing industry of work in semantics and the philosophy of language concerned with the precise nature of the context-dependency of epistemically modalized sentences. Take, for instance, an epistemic might-claim like..

Responsible Research and Innovation (RRI) reflects an innovation paradigm that acknowledges that market innovations do not automatically deliver on socially desirable objectives, and requires a broad governance of knowledge coalitions of governmental bodies as well as industrial and societal actors to address market deficits. Responsible Innovation should be understood as a new paradigm for innovation which requires institutional changes in the research and innovation system and the public governance of the economy. It also requires the institutionalisation of an ethics of (...) co-responsibility as well as the introduction of new standards and certification processes for products. Dr. Dr. phil. von Schomberg will introduce Responsible Innovation against the background of 6 deficits of the (global) research and innovation system. (shrink)

According to the Market Failures Approach to business ethics, beyond-compliance duties can be derived by employing the same rationale and arguments that justify state regulation of economic conduct. Very roughly the idea is that managers have a duty to behave as if they were complying with an ideal regulatory regime ensuring Pareto-optimal market outcomes. Proponents of the approach argue that managers have a professional duty not to undermine the institutional setting that defines their role, namely the competitive market. This answer (...) is inadequate, however, for it is the hierarchical firm, rather than the competitive market, that defines the role of corporate managers and shapes their professional obligations. Thus, if the obligations that the market failures approach generates are to apply to managers, they must do so in an indirect way. I suggest that the obligations the market failures approach generates directly apply to shareholders. Managers, in turn, inherit these obligations as part of their duties as loyal agents. (shrink)

IN 1959 and 1960 I gave the Gifford Lectures in the University of St. Andrews. The lectures were called 'Norms and Values, an Inquiry into the Conceptual Foundations of Morals and Legislation'. The present work is substantially the same as the content of the second series of lectures, then advertised under the not very adequate title 'Values'. It is my plan to publish a revised version of the content of the first series of lectures, called 'Norms', as a separate book. (...) The two works will be independent of one another. (shrink)

In the recent literature on all things metaontological, discussion of a notorious Meinongian doctrine—the thesis that some objects have no kind of being at all—has been conspicuous by its absence. And this is despite the fact that this thesis is the central element of the noneist metaphysics of Richard Routley (1980) and Graham Priest (2005). In this paper, we therefore examine the metaontological foundations of noneism, with a view to seeing exactly how the noneist's approach to ontological inquiry differs from (...) the orthodox Quinean one. We proceed by arguing that the core anti-Quinean element in noneism has routinely been misidentified: rather than concerning Quine's thesis that to be is to be the value of a variable, the real difference is that the noneist rejects what we identify as Quine's “translate-and-deflate” methodology. In rejecting this aspect of Quinean orthodoxy, the noneist is in good company: many of those who think that questions of fundamentality should be the proper focus of ontological inquiry can be read as rejecting it too. Accordingly, we then examine the differences between the noneist's conception of ontology and that offered by the fundamentalist. We argue that these two anti-Quinean approaches differ in terms of their respective conceptions of the theoretical role associated with the notion of being. And the contrast that emerges between them is, in the end, an explanatory one. (shrink)